Leseprobe: Normalization and Partial Evaluation of Functional Logic Programs