Disease: Potassium aggravated myotonia