Übersetzen
deductive database