Well, if it's not possible to sort out this problem and add Lauda again to DT2.
There is nothing to sort out. If any DT1 member includes Lauda in his trust list, it will sort out automatically.
there will be lot of work for remaining DT members to tag the now untagged cheaters.

Trying to list all the users who turned into neutral from red.
Learn More-
https://bitcointalk.org/index.php?topic=5045629