konungen och folksängen sjöngs.