Křeče v nohou

Co pomůže při každodenních křečích v nohou v nočních hodinách u člověka 50+, který v mládí přišel o polovinu jedné strany plic při sportovní činnosti, ale je stále aktivní a rekreačně sportuje. Je vhodné užívat nějakou formu elektrolytů? Popřípadě který typ magnézia je pro něj nejvhodnější?