たしかにBadeniは苗字みたいだねー
同僚のクラボフスキさんも苗字っぽよね

なんとノヴァクさんも苗字らしい

「ノヴァク、ノヴァーク、ノーヴァク（Nowak, Novák, Novak, Новак）は、東ヨーロッパ系の姓。
2018年の統計ではポーランドで最も多い姓であり、男女合わせて18万人以上がいる」
だそうな

オクジー君はよくわからなくて、ポーランドぽくない名前ではあるが
「Oczy」自体はれっきとしたポーランド語であり、「眼」という意味を持つ。読み方はオクジーとは全く違い、日本語に音写すれば「オチ」に近いとか