Die Hexenlochmühle wird eingegipst