[Mirrors] new mirror

[Johannes Beus]

hi,

tagline: netmirror.org - Karlsruhe, Germany
url: http://netmirror.org/mirror/open-mpi.org/
hostname: netmirror.org

regards,
johannes (netmirror.org admin)