Tomtom: 9-Euro-Ticket bewirkt weniger Staus in den Großstädten