oder aus dem Handel genommen zu $7,50 gefallen... Welcher, frage ich mich?