Doppelter Regenbogen um 16:42 Uhr.