User:Dr.s.franke/sandbox

SPOT synthesis