Ernst — male given name