[…]Dort steht auch, dass die Karte höchstens 5 Euro kostet, abzüglich möglicher Ermäßigungen![…]
Ja.
Kurzer Preisvergleich, eben durchgeführt bei Virgin auf den Champs Elysees:
Michelin local (1:150.000-1:175.000): 4,30 EUR (deshalb wunderte ich mich über die 7,50, die ex-4158 zahlen musste)
Michelin regional (irgendwas bis zu 1:300.000): 5,50 EUR
IGN TOP 100: 5,00 EUR
Preislich also beide vergleichbar, da sich die Michelinkarten ziemlich weiträumig überlappen. Das war früher anders, da brauchte man für die Alpen nur zwei 1:200.000er Zusammensetzungen.