beater mixer (papermaking) - German English Dictionary