Was kann man bei einem Krampf tun?