Heute ist der deutschlandweite Tag der Kopfschmerzen. Es gibt rund 200 verschiedene Arten von Kopfschmerzen. Kopfschmerzen sind eine der häufigsten gesundheitlichen Beschwerden weltweit. Martin Lindner hat mit Prof. Dr. Hendrik-Johannes Pels gesprochen.