I'm a bit confused over public holidays in Germany, particulary in May.
Is the 1st May the public holiday or is it the 1st Monday in May like England?
In addition, do different regions have seperate public holidays alongside the national holidays?
We're looking at Bayern & Baden Wutermberg in early May next year.