Thank you very much for your comment - indeed the date of dec. 6th 2013 is correct. I myself was there in the hospital in Hamburg in Germany when Tom Krause left us.