Potato Dumplings With Tomato Sauce Or With Melted Butter