Petrounias nu ook olympisch kampioen