Mühle, Ölmühle außerhalb des Obertors (16. Jh.)