pumphuset , der kronoarbetskarlarna i ett eller annathundratal