4373 ) Rättens ombudsman.