Analytic definitions of the Gauss–Krüger projection: a review and two new formulations | Synapse