De verkoop van gegevens aan de politie door Vodafone en TomTom