Nein, heute ist nicht Nikolaus.