Definitions for Gaschnigs added