@oldschool1982 those gnocchi look fantastic, did you make them yourself?
Thanks for the tips all, there are many fans of kraut here but I'm not one of them. Which is a terrible tragedy to my husband. I ended up rubbing them and then putting them in a deep roasting pan with a little balsamic and soy sauce and letting them roast at 295 for 4hrs. They were not bad, the fall-off-the-bone texture was perfect.