Updates by Heiko Oberdiek