Was ist die deutsche Farbe des Himmels?