I was in Munich recently for Oktoberfest and I fell in love with their potato dumplings. I would like to try to recreate them at home. Anyone have a good authentic recipe for them? Alternatively, I'm not against using a boxed mix. My searching on the Web led me to Panni brand Bavarian Potato Dumpling Mix. Has anyone used this mix and have any thoughts on it?