Update: ich bin jetzt gerade wieder heimgekommen. Die Batterie wurde getauscht, weil: tot. Die Diagnose stand ja schon vorher im Raum. Wäre natürlich schon cooler gewesen, wenn der Werkstattwagen, der die Maschine abgeschleppt hat, vielleicht einfach ne neue Batterie mitgebracht hätte. Oder ich hätte sie auch hier kaufen können (dann hätte ich mir 2,5h Bahnfahrt erspart), denn so richtig viel haben die dann wohl nicht gemacht...
Nunja, jetzt läuft sie erstmal und dank des Batteriewächters werde ich das im Blick haben.
Denn: ich habe natürlich auch gleich einen Batterietest gemacht. Und es kam die Diagnose, dass im erhöhten Drezahlbereich (knapp 2900 U/min) die Ladespannung zu hoch sei (14,73V). Ist das wirklich zu viel?