och militära embetsmännen hade samlat sig vid stationen Wilhelmshöhe , hvarest ett kompani infanteri utgjorde hedersvakt.