Use www

The new external site we redirect to does not allow access via the
non www. domain. This ist stupid, but...oh, well.