Globalizing locally compact local groups

Every locally compact local group is locally isomorphic to a topological group.