[Nova](https://db.torproject.org/machines.cgi?host=nova) is hardware sitting in Germany acting as a webserver. Determine if it is migrated to the new VM cluster or not.