An Arduino can be used as a combined function- plus servo decoder. This has a price tag under €5,- (including a fast opto-coupler).
Thanks to the people behind mynabay who made available the code for decoding the DCC commands. I added the software to control the outputs and the servos...