Bubble tree convergence for harmonic maps into compact locally CAT(1) spaces - doi 10.1007/s00526-020-01801-w 2020-10 Article type Journal