Banach–Mazur_compactum loading ...