Zehn gedruckte definition