Circle TiKZ definition added.