congenital encephaloophthalmic dysplasia; Kraus' syndrome; Krause's syndrome