DéfinitionsAllenstein