Restaurierte ehemalige Dobler-Mühle