Compact tree of Huoching von Alamannien