berechnung technische verfügbarkeit nach vdi 3423