German potato dumpling casserole