Un GIF del 1 de mayo

Hoy, primero de mayo, día del trabajador, pongo aquí un GIF animado (Graphics Interchange Format), buscado en la Web, para recordar de manera jocosa este importante día que se celebra internacionalmente.