Gefühlt hat der Sommer 2023 noch gar nicht richtig stattgefunden – da werden auch schon wieder die dicken Jacken hervorgekramt und die diesjährige Tauchsaison wird (zumindest offiziell) verabschiedet. Wohl allen, die jetzt noch einen Trocki im Schrank hängen haben!
