Table_of_stars_with_Flamsteed_designations loading ...