third-person singular past historic of porter - German English Dictionary