Verkürzte wöchentliche Ruhezeit eines Busfahrers wird durch zusätzliche Erholungszeit ausgeglichen, die er wie folgt in Anspruch nehmen soll: