( 12555 ) Rättens ombudsman.