the port can also be different from 443 and still be a SSL-port