Banach_bundle loading ...