Ist der in dem von der Bauarbeiter-Urlaubskasse gezahlten Urlaubsentgelt enthaltene Urlaubszuschuß bei der Berechnung des Abfertigungsanspruches eines Bauarbeiters zu berücksichtigen?