Διαφορετικός ο εορτασμός της εργατικής Πρωτομαγιάς, φέτος, στη Θεσσαλονίκη