Pfingstmontag: Why is Monday May 25th a public holiday in Germany?

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

Raccontata dathelocal.de