"finite extension" Deutsche bedeutung