San Lorenzo de El Escorial

https://www.openstreetmap.org/user/jamesks/diary/3013