どうでもいいけど Scholze ってドイツ人だからショルツ"ェ"じゃないの?
なんで wikipedia まで当たり前のようにショルツって書いてんの?