В каком году первомайский праздник получил название, используемое сейчас, - Праздник Весны и Труда?