Som bekant förstördes högflolans gamlalokal