other times, other manners - German English Dictionary