Wie lange Schmerzen nach Krampf im Bein?