dystrophia myotonica Synonyms