Title: Unique solvability of the Dirichlet problem for harmonic maps