17. Mai – Der Nationalfeiertag, wie ihn die Bergenser feiern