Pilze überbacken, Tomaten-Sahnesauce, Schinken  ^{3, 4, 5, 13}