Wo genau verläuft die deutsche Grenze? Das wird alle zehn Jahre genau vermessen – und heute war es wieder soweit.