Include latest changes in main branch
Merge latest changes of dev into main. Closes #89 (closed) , #98 (closed) , #64 (closed) , #93 (closed)
Aufgrund eines Hardware-Upgrades wird git.rwth-aachen.de am 08.07.2025 zwischen 08:30 bis 09:00 Uhr kurz nicht zur Verfügung stehen.
--
Due to a hardware upgrade git.rwth-aachen.de will shorty be unavailable on 08.07.2025 between 08:30 and 09:00 o'clock.
Merge latest changes of dev into main. Closes #89 (closed) , #98 (closed) , #64 (closed) , #93 (closed)
requested review from @m.hock
assigned to @hannes.mayr
merged