[1119] Die Bohrmühle, plur. die -n, eine von dem Wasser getriebene Maschine, Bäume zum Behuf der Wasserleitungen, Flintenröhre u.s.f. auszubohren.