af en magasinsbygnad 7,500 kr.