Goodbye John Mortimer: some quotes: “life is comic, we are poised between two great voids .. we give ourselves such huge importance”  “there is a great mockery deficit in the world”