Merge branch 'dev' into 'master'

Dev

See merge request !16

src/lib/components/SemesterSelector.svelte

@@ -33,6 +33,7 @@
     ['Winter 2023/24', fromISO('2023-10-09T07:00')],
     ['Sommer 2024', fromISO('2024-04-08T07:00')],
     ['Winter 2024/25', fromISO('2024-10-14T07:00')],
+    ['Sommer 2025', fromISO('2025-04-07T07:00')],
   ]);
 
   $: if (browser) {