ökades sålunda tributen till Porten med 35 000 pund.