Calling a bonus chump change is reductive. Two key items to consider:

1) You don't know the size of the bonus relative to their annual salary. If this is a 10%+ bonus, it's sizable.

2) The bonus was given to all -- "have jointly agreed to pay all eligible employees a special lump sum bonus of up to 7,300 euros"

I can't recall an American company that gave out bonuses that satisfied both criteria listed above in the last 3-5 years of intense hardship.

Edit: Added specificity on bonus eligibility