arnt H G . von Holst.