Ich war jetzt in einer anderen Werkstatt, um den Service durchführen zu lassen. Sie haben sich das auch angesehen und festgestellt, dass das Steuergerät tatsächlich defekt ist. Die Reparatur kostet 1370 € inklusive Einbau.
Da werde ich wohl mit der Fehlermeldung leben müssen.