Deventer de voormalige poortwoning Penninckshoek