Regularity of harmonic maps into Teichmüller space | Synapse