Text this: On Verification of PLC-Programs Written in the LD-Language