Made a typo in point "4": the old value I changed back to was of course "https://mail.mycompany.com", with the s.
Made a typo in point "4": the old value I changed back to was of course "https:/ /mail.mycompany .com", with the s.