Free Der Hilbertsche Nullstellensatz Ss 2008