Re-used in https://www.heise.de/tp/features/Streit-um-spanische-Grenzkontrollen-in-Gibraltar-5021178.html