1. mai var større enn 17. mai – men no er feiringa meir dempa i industribygdene