Bergmannmann, bergarbeiter, set