English ⇔ German / Englisch ⇔ Deutsch 🔎 extended search Verteilungsserver DeutschEnglish Verteilungsserver {m} [inform.]distribution server [noun]