Hilbert Complexes with Mixed Boundary Conditions: Regular Decompositions, Compact Embeddings, and Functional Analysis ToolBox – Part 1: De Rham Complex - Dirk Pauly; Michael Schomburg (2021)