(1) Jeder Hypothekengläubiger oder sonstige Realberechtigte ... kann binnen drei Monaten vom Ablaufe des Tages, an dem der Beschluß zugestellt oder das die Bekanntmachung enthaltende Amtsblatt ausgegeben worden ist, zum Zwecke seiner Befriedigung die Zwangsversteigerung des Bergwerks bei dem zuständigen Gericht auf seine Kosten beantragen.
(2) Wer von dieser Befugnis innerhalb der angegebenen Frist keinen Gebrauch macht, verliert mit der Aufhebung des Bergwerkseigentums sein dingliches Recht (§ 160).
(3) Auch der bisherige Eigentümer des Bergwerks kann innerhalb der Ausschlußfrist von drei Monaten die Zwangsversteigerung beantragen.