Title: Der Urlaub der deutschen Bergarbeiter und seine Auswirkungen auf den Betrieb