"horizontal boring mill" Deutsche bedeutung