Croatian-German: translation for "logicno dokazivanje"