Otto — male given name