Wird der TM31 noch repariert?