Porthus tegen 9,75 euro per aandeel naar de beurs