grubengerechtigkeit,
s.  5.