recoded for Meilenstein2