Saving shapes from vector tiles to a shapefile

https://map.bnnd.eu.org/user/Answerquest/diary/402602