config timeserver
	option hostname	 time.fu-berlin.de