Hvad har då Carlsborgs fästningsbyggnad hittills kostat?