Revert "wird (vermutlich) nicht gebraucht"

This reverts commit d735dd6c99b5da526ba8394e8f14970b79a63b19.