Und deshalb ist es nicht egal ob man die Stecker vertauscht, verstehe.

Hätten die Geber verschiedene Teilenummern gehabt, hätten wir darauf geachtet.