refractory patching mixture - German English Dictionary