# kleines File, das über BASH_ENV eingelesen wird, um zu zeigen, dass BASH_ENV
# ausgewertet wurde
#
# 4.3.2006

echo bash_env wurde gelesen