the times (they) are a-changing - German English Dictionary