"local ring" Deutsche bedeutung