Heute ist Deutscher Kopfschmerztag.