OK, auf RTL hat eben das WM-Spiel begonnen (das ich mir jetzt nebenher ansehen werde).