nämligen 5,000 kr. , utgörande en del af kostnaden för ändring af f. d. öfverdirektörsbostaden i Tekniska högskolans hustill