mülsteingrube,
s. .