"ring rolling mill" Deutsche bedeutung