Nachtelijke spierkrampen is iets anders dan RLS