Wie lange dauert die Reparatur in der  Werkstatt?