Tag 'name:etymology:wikipedia = de:Carl Friedrich Gauß'