library and a concert-hall both under the same roof