What's the German definition?