История Лампочкина: как и почему он изменил фамилию