Wenn, so wie es aussieht, Arminia die Option erst gezogen hat, als der Wechsel öffentlich wurde - verständlich. Die Option hätte man auch schon viel früher ziehen können.
Vielleicht kann sich der Pressesprecher hier mal äußern, wann die Option gezogen wurde.