on Rivas-Vaciamadrid map