Surname Gauss.