sä länge riksdagsmännens procession pågick.