Redirect HTTP to HTTPS with VirtualHost

Server
5

Sorry, the third should NOT be used.
So first and (a modified) fourth may work better.
Modified to include the server alias name “www”