New article „Debian-Version über Terminal bestimmen“.