A certified reduced basis method for parametrized elliptic optimal control problems∗. (7th April 2014)