publish in the official gazette - German English Dictionary