Noen mener at Johan Jørgen Holst ble myrdet, virker det som