proj4.defs("EPSG:25231","+proj=utm +zone=31 +ellps=clrk80ign +units=m +no_defs +type=crs");