Mathematik Rigorous Numerics for the Cahn-Hilliard Equation on the Unit Square by Stanislaus Maier-Paape