es sei - translated from German to English