I talked to one of my guys who knows the SINAUT HW very well. He told me that it is not necessary to have a DCF 77 module in each SINAUT Station. Only one Module is enough in the Master Station. Sometimes it is useful, if this station fails, to have a second one to get the real time if the Master station fails.
On Ethernet even the PC can be the time source, but this just for your information.