Dazu als Nachtrag:
In der Werkstatt sagte man mir sehr schnell, dass die Batterie nicht auf Garantie läuft, wenn der ausliefernde Händler keinen Nachweis liefert, dass die Batterie gemäß der Hyundai-Vorgaben geladen wurde. Auch wenn der Wagen -wie in meinem Falle- nicht lange beim Händler stand. Generelle Probleme im Hinblick auf die Starterbatterie waren auch keine bekannt.