Splendid Equivalences: Derived Categories and Permutation Modules