Verifikation einer Funktionsblockbibliothek für die ProzessautomatisierungMarc SchulzAusverkauftBuch bewachen