kraut cooked shrimp