Debian Junior ist ein Debian GNU/Linux für unsere jüngeren Nutzer