Insgesamt wurden nur 692 Stimmen abgegeben, im Bundestag sitzen jedoch 733 Abgeordnete. Wie die Abgeordneten im Einzelnen abgestimmt haben, soll noch mitgeteilt werden.