Integrate hydra into devel
Please verify the changes. I can locally solve the conflicts and do the merge.
Edited by Manfred Eppe
Die monatliche GitLab Wartung findet am Donnerstag den 13.11. statt, daher wird GitLab an diesem Tag zwischen 17 Uhr und 18 Uhr nicht erreichbar sein
Please verify the changes. I can locally solve the conflicts and do the merge.