Эх, были времена.
Пауль - единственный правильный перевод, и аргументация переводчика меня вполне устраивает.