Minimum holiday entitlement for employees — German federal act/law