Was macht man bei einem Krampf?