Contact: Wolfgang.Windsteiger@risc.jku.at