Voormalige stadstimmertuin