Ist der Ersatzruhetag bezahlt?