@foone Yeah, Horst is Horst.It's a german (I think bavarian) first name, but somehow started to represent a very dumb and unreflecting person, and is sometimes used as a swear word.