Ditto in German. One of those rare times English is more specific!