I deviated from the above by leaving
/etc/davfs2/davfs2.confas it is and instead edited the conf file at
~/.davfs2that magically showed up. I also found a
secretsfile there where I added credentials. I suspect these were added after the first access I performed, that is, after I did a
$ mount .in the mount directory.