Christoph Otter (chipshort)