Translation of "Bordnetzstecker" in English