Was tut man gegen Lachkrampf?