German-Croatian: translation for "Ergänzungssatz"