grubenmacher,
s.
grube
 1.