Text this: Der Betriebszwang im Bergrecht der Bundesrepublik Deutschland.