Safety devices for gas pressure regulating stations and installations. Gas safety shut-off devices for operating pressure up to 100 bar