Angeblich werden die Eierwärmer um 13 Uhr gelüftet.

Hmmm. Soll ich jetzt warten oder lieber zum Presselunch?