Wie viel ist lebenslänglich in Deutschland?