Library and public building