Mathematics, Computer Science and Logic – A Never Ending Story:The Bruno Buchberger Festschrift