German universities migrate to Linux