The Dimensionally Reduced Effective Theory for Quarks in High Temperature QCD