Import symbols from egore/german