Petrihaus im Brentanopark (1720, Umbau um 1820)