Copyright 2018 Bent Petersen.