Danke, jetzt funktioniert der Download. Der Internetzugang hat vorher auch schon funktioniert, allerdings war dav2fs von den angegebenen Adressen nicht herunterzuladen .
Allerdings kommt jetzt beim Ausführen eine Fehlermeldung:
umount_davfs.c: In function 'main':
umount_davfs.c:123: warning...