GAUSS, Karl Friedrich