Natürlich kann man sich als Gegner den Schützen nicht aussuchen (wäre aber mal eine Idee für eine Regeländerung

).
Ich denke aber, dass es schon ok war, dass Lehmann dann doch nicht zum Elfmeter angetreten ist - das hätte wirklich den Charakter einer Demütigung gehabt, was nun wirklich nicht nötig gewesen ist.