3728 ) Rättens ombudsman.