Die sources had ik al toegevoegd, maar de GPG key had ik niet (heb al lopen zoeken). Ik zal dat eens proberen. Intussen heb ik wat ik wilde hebben maar via Firefox opgehaald (de .deb van VMware-server) en geïnstalleerd. Maar met een GPG key gaat het wat makkelijker. Bedankt Siegi!!!