Ugye jól sejtem, hogy Bogumil, Teofil és Gottlieb ugyanaz a név?