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