Anybody heard of Lueneburg salt? I have a recipe for mustard that calls for it. I know there's a city in Germany where it used to be made/processed, but is it like Kosher salt or fine salt or flaked salt or ...??