Was tun bei wadenkrämpfen in der Nacht?