Did Warren Buffet actually lose 13 Billion?