International Workers' Day is a public holiday ... Meanwhile, around 4,000 union supporters marched on different routes through Berlin, before assembling at the …