Die große Halle der Werkstatt des Bergwerks Ost !