Eberlein_compactum loading ...