push proxy gateway - German English Dictionary