Wie wird Ruhezeit berechnet?