Vertaling: Onvolledige bewijzen.
Vertaling: Bewijzen. Compleet Score. Wenen.
Vertaling: Bewijzen. Dekking. Wenen.