har uppgifvits , att kvarnen skulle hafva varit försäkrad till 15,000 kronor.