Müsste der Kurs jetzt nicht auf 8,32 € fallen?

Er steht aber noch bei 8,45 €.

Natürlich lohnt es sich für die meisten nicht, wegen 13 Cent
Differenz zu Verkaufen. Aber damit überhaupt ein Kurs zustande kommt,
muss doch irgendwer diese 8,45 € geboten haben.