  We show that the de Rham Hilbert complex with mixed boundary conditions on
bounded strong Lipschitz domains is closed and compact. The crucial results are
compact embeddings which follow by abstract arguments using functional analysis
together with particular regular decompositions. Higher Sobolev order results
are proved as well.
