Bottleneckanalyse des Informatikstudiums der Universität Dortmund unter Einsatz des ProC/B-Simulations-Tools