Nicht die Werbepause war neun Minuten, sondern die Zeit zwischen den Werbepausen war 9 Minuten.