portable distributed objects - German English Dictionary