"integral domain" Deutsche bedeutung