Map data is an important data source for road navigation, and may perhaps be of particular interest when GNSS positioning is lost or unreliable, e.