was hilft gegen wadenkrämpfe außer magnesium