ein Betriebsteil oder eine Betriebseinrichtung, z.B. einen Schacht, außer Betrieb nehmen