Heute ist der Welt-Introvertiertentag.