Un paraíso perdido.

Cincinnati’s Old Main Library before being demolished in 1955.