af folketinget och den 23 december inträdde julferier förriksdagen