Was kann man gegen einen hohen Muskeltonus tun?