Allotrianpuiston ja Eläinlääkärinpuiston peruskorjaus