Tip of branch origin/refmet upon surgery

commit from 2014-07-08 19:26:10 +0200
tagged at 2015-03-01 18:29:01 +0100
This tag has no release notes.