marinregemtts musik-korps utförde folksången.