Wer schon einmal von einem nächtlichen Wadenkrampf geweckt wurde, vergisst dieses Gefühl nicht so schnell.