kr. , för de gamla byggnaderna.