In order to introduce Weyl coordinates one has to exclude critical points of . This was first achieved by Carter [30] using Morse theory; see, e.g. [135]. A more recent, very direct proof was given by Weinstein [182], taking advantage of the Riemann mapping theorem (or, more precisely, Caratheodory’s extension of the theorem; see, e.g. [5]).