Merge branch 'dev' into sh/#872-storage-documentation

Author: SimonHuette

build.gradle

@@ -5,7 +5,7 @@ plugins {
   id 'signing'
   id 'pmd' // code check, working on source code
   id 'com.diffplug.spotless' version '6.22.0' //code format
-  id 'com.github.spotbugs' version '5.2.3' // code check, working on byte code
+  id 'com.github.spotbugs' version '5.2.4' // code check, working on byte code
   id 'de.undercouch.download' version '5.5.0'
   id 'kr.motd.sphinx' version '2.10.1' // documentation generation
   id 'jacoco' // java code coverage plugin