German state of Schleswig-Holstein planning to switch 25,000 of its PCs to Linux and LibreOffice