Glad to hear that @rstevens shares my views about the end of the world. • Dominik Schwind