Analysis of a family of time-continuous strongly conservative space-time finite element methods for the dynamic Biot model.