Germany always used to pay 13 months a year, don't know if they still do, meriad will tell us
Bb's holiday pay is a little bit like that. He doesn't work set hours and is paid per job, but is entitled to holiday, so he gets paid a set percentage of his earnings each quarter.