Gauss(HK)