Stephen Hawking bet against a black hole, and lost — Anecdota