5212 ) Rättens ombudsman.