Is every locally compact, Hausdorff, locally path-connected topological group locally Euclidean? (That would imply of course also being a Lie group). Is it true when countable basis assumption is added? I wasn't able to find a discussion of this question in the literature on topological groups and the Hilbert 5th problem.