Stimmt wohl.
Und ich seh beim besten Willen nicht ein bei dem Problem so einen Batzen Geld los zu werden.
Also ich werde mich nächstes Wochenende, wenn ich Zeit hab, auf die Suche machen. Es kann nicht mehr sein als ein kleiner Kurzschluss. Und das kann man reparieren. Und das nicht für mehr als 520 Euro!