A process for producing three-dimensional maps and navigation device