Når endrer vi kallenavnet fra «Fredspresidenten» til «Rettssakspresidenten»?