känd under namnet » Holländska kvarnen ».