Semmelknodel Mit Pilzen (Bread Dumplings With Mushroom)