5026 ) Rättens ombudsman.