Lebesgue’sche_Überdeckungsdimension loading ...