K-complex formation of the EEG in sleep. A survey and new examinations