A formulary for Digital Signal Processing at the TU Darmstadt