Definition:

kreutzer