mirror: Use German mirror for Arch Linux

Not sure what's up with Netherlands...