The next time you buy a bunch of kohlrabi, COOK the leaves - they're delicious! They are firm & mild. This is most likely adapted from a recipe that I saw online while looking for guidelines. It's VERY quick & easy. The 'Asian Salt' I used is McCormick's Asian Style Spiced Sea Salt with sea salt, garlic, sesame seed, sugar, orange peel, ginger, coconut, red bell pepper, red pepper, onion, soy sauce, sesame oil, and some crap. Feel free to add your own flavorings in lieu of this mixture if you prefer.