Renovation of the interior of the library of the Lettergieterij Tettenrode in Amsterdam