Hola, la etiqueta addr:city es redundante al estar ya los elementos dentro del límite administrativo de la ciudad. En cuanto al código postal no es necesario por lo general si existe una relación de límite para códigos postales (no es el caso en Granada por ahora) o elementos con el mismo código postal en la zona, pero esto se puede dejar sin problema. Si lo eliminé fue un error.
Un saludo y gracias por tus contribuciones.