Mühle, Anton