Der Richter und die Rechtspflege in der deutschen Vergangenheit.