Гохштаден (нем. Hochstaden):