GaussをGauß のように書くのは失礼にあたるという話であった。