was tun bei krampf im oberschenkel