formelles testing fertig