Zur Variationsformulierung nichtlinearer Randwertprobleme