Verification of models for wall-cooled packed-bed reactors by E.P.S. Schouten