@de_B9 When Germany was divided (~25 years ago) we had a border here. Back then we'd be in East Germany now.