Translation of "To come across something" in German