"additional pay for work done on a holiday" Deutsche bedeutung