Was tun bei Muskelzucken im Oberschenkel?