"roll mill" Deutsche bedeutung