I domen uttalas , att » Hohenstauleii»