German manufacturer of Linux-based laptops and desktops.