Gehrlein's Alte Mühle ist vermutlich dauerhaft geschlossen. Grund: Personalmangel