Erkundung der Ebkensschen Mühle. Eine technische Mühlenführung.