Am 9. Juni ist Tag der Geodäsie - vielerorts sind Aktionen geplant