Translation of "Back-slash" in German