Pumphut im der Berndt-Mühle in Oberoderwitz