Musikken spillede og de røde faner luftet i gaderne 1. maj.