Diese Geste ist wohl unmissverständlich: Obama macht sich am Parteitag über Trump lustig.