Archduke Joseph diamond fetches $21.5 mn. (Reuters)