Re-Audit eines kritischen Kernsystems