Thank you both! I at first also thought it was the 12V, we exchanged that with a known good one. The car has not been driven in the mean time. Now, it is completely bricked and doest even "Start", the only thing it still does is charge with AC. A ton of fault codes:
U111B, P1AC5, U1113, U1080...