Går det an å feire 17. mai uten korpsmusikk?