Roskilde hade klädt sig i högtidsdvägt.