The tower and library of the historic University in Coimbra, Portugal