holiday pay in Dutch

A yearly bonus of one's salary or social security with a payout that typically occurs shortly before summer.