Merge branch 'ralf/dom' into 'master'

port to dom D type being implicit

See merge request !795
3 jobs for master in 15 minutes and 59 seconds (queued for 5 seconds)