on Bad Kreuzen map