Andernorts gibt es sie gar nicht: die fünfte Jahreszeit, die in Städten wie Mainz an kalten und trüben Wintertagen für überschäumende Lebensfreude sorgt.