Nun,

da hat er Recht. Der Käufer hat Glück gehabt, dass sein Gebot nicht zwingend war. Das würde ich natürlich auch noch reinschreiben, wenn es soweit ist.