Dev ubuntu20.04

Dominik Mehlemrequested to merge
dev_ubuntu20.04 into master

Integrate changes needed for the Ubuntu20.04-based ISO.

Merge request reports