grubenarbeiter,
s.  5.