Found the real bug. Now it works:

$ grep -B1 dvd /etc/fstab
# Added by GRML
/dev/dvd /mnt/dvd auto users,noauto,exec,ro 0 0

I.e., it should be *users*, not *user*.