De medel , som vid eventuel försäljning af paviljongen kunna uppstå , skoja tillfalla statskassan.