Banach–Mazur_distance loading ...