den gamla riksarkivbyggnaden ,nämligen