$BOB

Wird es von der Börse genommen oder nicht?