§ 1 HZvV 7
In der hüttenknappschaftlichen Zusatzversicherung sind pflichtversichert die in der Rentenversicherung der Arbeiter oder in der Rentenversicherung der Angestellten versicherten Arbeitnehmer einschließlich der zu ihrer Berufsausbildung Beschäftigten Dies gilt nicht für Personen, die von der Versicherungspflicht in dieser Versicherung befreit sind.
1.
der Firma Peter Roth KG, Saarbrücken, und
2.
der Firma Halberg-Guss GmbH, Saarbrücken-Brebach.