det » barntåg » , som i Kristianssand firade den 17 maj.