benno—Benno is een jongensnaam (mannelijke voornaam).