Amenable_Banach_algebra loading ...