The happy idea of using a proletarian holiday celebration as a means to attain the eight-hour day was first