gzetzsche: 20220805 0105 Kiel
gzetzsche: 20220807 Kiel 0181
gzetzsche: 20220806 Kiel 0035
gzetzsche: 20220805 Kiel 0115
gzetzsche: 20220808 Kiel 0381