3895 ) Rättens ombudsman.