Translation of "Dereferenceable" in German