Green beans spaetzle in bavarian style sauce recipe