Juneći gulaš, češke knedle