La città militare di Trento: costruzione, dismissione, riuso.