讲座 | A posteriori error analysis and adaptivity of a space-time finite element method for the wave equation in second order formulation