A Simplified Variant of G\"odel's Ontological Argument