No tak to je sice hezké, že je Havel české příjmení, ale jak už tu bylo napsáno, tak rodina žije v cizině a tam jim je asi jedno, jestli má dítě k tomuto příjmení často nebo méně často používané jméno v ČR. A ta jména, co jste zde napsala, nejsou ani jedno české!!! Jen převzaté z cizích jazyků. České jméno je např. Zdeněk nebo Doubravka, tak si prosím nepleťte pojmy. Benjamín je v kalendáři stejně tak, jako vámi výše zmiňovaná jména(krom Matyáše, který je jen v nějakém).