De i vår notis omnämda bygnaderna: