Прочитала тут недавно, что Винни - уменьшительно-ласкательный вариант от Вильгельм. И сразу подумала: это что же получается, что Винни Пуха на самом деле зовут Вильгельм Пух??