Was soll man machen wenn jemand Krampft?