How Much Does a Chief Justice Earn in Namibia?