TomTom verdoppelt Nutzer von Echtzeit-Verkehrsinfos