17. mai-tradisjon i Bergen gikk i vasken