Between kantianism and empiricism: Otto Hölder's philosophy of geometry