English ⇔ German / Englisch ⇔ Deutsch 🔎 extended search patching DeutschEnglish Patchen {n} [inform.]patching [noun]