Am 01.10.2012 11:56, schrieb Marco Maske: > Linux ist kein Betriebssystem, sondern ein Kernel. > GNU/Linux ist ein Betriebssystem. Total wichtig ist das Rumreiten auf Begriffen, ja. ;) Insbesondere Politikern ist das sehr schnell beizubringen. Mit fröhlichem Gruß Robert Kehl nna