Rubber-stamped by Kenneth Rohde Christiansen.