Mühle von Adolf Linden rechts vor dem Obertor auf der heutigen Oberstraße (ab 1870)