Ehemalige Mühle (18./19. Jh.)