Effiziente Variationsinferenz für spärliches Deep Learning mit theoretischer Garantie