prvi maj praznik delavcev, praznik sedanjega trenutka revolucionarnih prizadevanj