The rotational spectrum of ozone