Bedankt voor alle snelle tips!
Het werkte op onze laptop blijkbaar niet zoals verwacht. Omdat stap 4 van Pjotr's multimedialijst van doorslaggevende betekenis was, maar maar niet wilde lukken heb ik de codecs geïnstalleerd via de terminal:
sudo apt-get install w32codecs non-free-codecs libdvdcss2 Inmiddels worden DVD's netjes afgespeeld en gekopieerd!
