Erneszt is a boy's name.