overenskomsten omfatter omkring sytten tusind rengøringsfolk