Pfingstmontag: Why is Monday June 9th a public holiday in Germany?

Pfingstmontag (Whit Monday) is a public holiday in Germany, which falls this year on June 9th, but why is it a day off in the first place?