grubenarbeiter,
s. 5.