The frequency the receiver should be tuned to. (? - It is called "restFrequency", but which frame?). Not clear that this needs to be here. What is it for, who uses it?

General Info
Name	restFrequency
Type	Frequency
Visibility	private
Owner	FrequencySetup
Is Read Only	false
Is Static	false
Aggregation	none
Is Derived	false