Der Vier-Farben-Satz.