Windows and Microsoft Office are being replaced with Linux and LibreOffice in this German state