1947 ) Rättens ombudsman.