vernommen - translated from German to English