Updates
April 2023
minor corrections, new PDF document version
November 2023
change of terminology ("equatorial" to "central"), new PDF document version
March 2024
minor corrections, name tweaks, new PDF document version