Principal_U(1)-bundle loading ...