grabenmacher,
s.
grabe
(
der
) 2.