Horseradish sauce for Tafelspitz