grabenstein,
s.
grabe
(
der
) 4.