kostnaden för tryckning af riksdagsprotokollerna,