TomTom: te koop omdat het de platformenstrijd verloor