The Heidelberg drilling project (Upper Rhine Graben, Germany)