Happy Labor Day

We wish all citizens a happy May 1 - International Labor Day.