[827] Salzmühle, ein Pochwerk, worin Steinsalz klar gemacht wird, um es leichter mit Wasser zu Soole auflösen zu können.