Nun ist es also endgültig amtlich: Lehmann wechselt zu Arsenal.