Reply to 1052900666656604160@kotzendekrabbe Isn't it? I love this part of my talk, too. It doesn't get old.