procedure verlassen

[mkinzler]

exit;