Riemann's explicit formula