Höhenfelder See, Diepeschrather Mühle und Mutzbach