BAUMGARTNER HOLDING SA