5923 ) Rättens ombudsman.