All Compact Hausdorff Lambda Models are Degenerate. - Karl Heinz Hofmann; Michael W. Mislove (Fundam. Informaticae, 1995)