använda stenen , sorn hämtats från Lotringen , har kostat 200,000 frank.