Those are the old server’s IP and server_name. Usually the port is enough (listen 80 or listen 443), but sometimes including the IP fixes some problems.
That’s a 301 permanent redirect, with traffic arriving at the old address immediately redirected to the new address.
I’ve updated the redirection example on the other thread, with more details on files, etc.