O ct 2 01 2 AVERAGE FROBENIUS DISTRIBUTION FOR ELLIPTIC CURVES DEFINED OVER FINITE GALOIS EXTENSIONS OF THE RATIONALS ( APPEARED IN MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY )